This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, ...